Skip to content

Add persistent repository filters to issue menu - #10

Merged
jellebuning merged 1 commit into
mainfrom
features/9-improve-menu-look-and-feel
Nov 4, 2026
Merged

jellebuning merged 1 commit into
mainfrom
features/9-improve-menu-look-and-feel

Conversation

@jellebuning

@jellebuning jellebuning commented Nov 4, 2026 •

Copy link
Copy Markdown
Member

Description

Closes #9

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

@jellebuning jellebuning self-assigned this Nov 4, 2026
@jellebuning
jellebuning merged commit a829c72 into main Nov 4, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improve menu look and feel

1 participant